PALEOCLIMATE: Toward Solving the UV Puzzle

Paleoclimate. Toward solving the UV puzzle.

Solving the Puzzle of Prosociality∗

Homo sapiens is the only species in which we observe extensive cooperation among large numbers of genetically unrelated individuals. Incompatible approaches to explaining cooperation among humans have been offered by sociologists, biologists, and economists. None is wholly successful. Each discipline, moreover, has ignored basic insights of the others. This paper explains cooperation by combini...

Solving Frege’s Puzzle∗

Our actions are a product of mental states that represent how the world is, how we want it to be, and so forth. Such is central to our conception of ourselves as rational agents. I suppose it is possible that this conception is simply wrong. Perhaps there are, as eliminativists have argued, no such things as beliefs and desires. Or perhaps there are, but these states are merely relations to uni...

Solving a Binary Puzzle

A Binary puzzle is a Sudoku-like puzzle with values in each cell taken from the set {0, 1}. Let n ≥ 4 be an even integer, a solved binary puzzle is an n × n binary array that satisfies the following conditions: (1) no three consecutive ones and no three consecutive zeros in each row and each column; (2) the number of ones and zeros must be equal in each row and in each column; (3) there can be ...

Automated Puzzle Solving

Smullyan wrote his famous book of puzzles before the boom in automated theorem proving. Hence it is interesting, that all the puzzles can be solved with one method or not. The paper shows how this can be done with analytic tableaux.